Так мы программисты видим современную философию

https://github.com/FormalTheology/GoedelGod